<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>1.3.0 | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">1.3.0</span>
            <meta property="position" content="2" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">
















</div>

  </div>
  <div class="content col-sm-8 col-md-6 col-lg-7 main">
    <h1 id="microkit-release-130">Microkit Release 1.3.0</h1>

<h4 id="2024-07-01">2024-07-01</h4>

<p>Announcing the release of 1.3.0, using seL4 version 13.0.0.</p>

<p>This release represents the first release since the seL4 Microkit was adopted by the
seL4 Foundation.</p>

<p>This release has no breaking changes.</p>

<p>You can find the pre-built SDK <a href="https://github.com/seL4/microkit/releases/tag/1.3.0">here</a>.</p>

<h3 id="features-added">Features added</h3>

<ul>
  <li>Added support for ‘passive’ protection domains.</li>
  <li>Added protection domain hierarchy allowing PDs to manage faults caused by child PDs
and control their execution.</li>
  <li>Added virtualisation support and a new ‘virtual machine’ abstraction that allows
users to create systems with guest operating systems (such as Linux).</li>
  <li>Add the ability to specify the type of IRQ trigger on IRQ elements in the SDF. Previously
all IRQs were registered as level triggered, now users are given the option of specifying
an IRQ as ‘edge’ triggered which is needed for writing certain device drivers.</li>
  <li>Added support for building the Microkit SDK on macOS. If you are on macOS, you can now develop
with Microkit without Docker or a virtual machine.</li>
</ul>

<h3 id="other-changes">Other changes</h3>

<ul>
  <li>
    <p>Rewrote the Microkit tool from Python to Rust. This is meant to be a purely internal
change and should not affect the use of the tool at all. This does however introduce
a new dependency on Rust. See the README for building the new tool from source.</p>

    <ul>
      <li>This was done primarily to decrease 3rd party dependencies and make it easier to build
the Microkit SDK from source.</li>
    </ul>
  </li>
</ul>

<h3 id="bug-fixes">Bug fixes</h3>

<ul>
  <li>Fixed the libmicrokit linker script to work with the LLVM linker, LLD. This means that non-GCC
build systems can link with libmicrokit.</li>
  <li>Removed compiler provided includes (such as stdint.h and stdbool.h) from libmicrokit. This means
that the libmicrokit header no longer depends on any system provided headers, making the SDK
more self-contained.</li>
  <li>Various fixes and improvements to the manual.</li>
  <li>Various other bug-fixes and error message improvements to the Microkit tool.</li>
</ul>

<h3 id="board-support">Board support</h3>

<p>This release adds support for the following platforms:</p>

<ul>
  <li>Avnet MaaXBoard</li>
  <li>HardKernel Odroid-C2</li>
  <li>HardKernel Odroid-C4</li>
  <li>NXP i.MX8MM-EVK</li>
  <li>NXP i.MX8MQ-EVK</li>
  <li>QEMU virt (AArch64)</li>
  <li>Xilinx ZCU102</li>
</ul>

<h2 id="full-changelog">Full changelog</h2>

<p>Use <code class="language-plaintext highlighter-rouge">git log 59f3d7ecea21068281210e7dc91f66155dff9cc9..1.3.0</code> in <a href="https://github.com/seL4/microkit/">https://github.com/seL4/microkit/</a></p>

<h2 id="more-details">More details</h2>

<p>See the <a href="https://github.com/seL4/microkit/blob/main/docs/manual.md">documentation</a>
or ask on the mailing list!</p>


  </div>







  
  
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
  
    <ul class="section-nav">
    	<h2> Microkit </h2> 
        <li>
          
          <a style="" class="" href="/projects/microkit/">
            Documentation homepage
          </a>
        </li>













    
        <h3>Useful URLs</h3>
    
        <li>
          <a style="" class="" href="https://github.com/seL4/microkit/blob/main/docs/manual.md">
            Microkit user manual
          </a>
        </li>

    
        <li>
          <a style="" class="" href="https://trustworthy.systems/projects/microkit/tutorial">
            Microkit tutorial
          </a>
        </li>

    
        <li>
          <a style="" class="" href="https://github.com/seL4/microkit/issues/61">
            Microkit development roadmap
          </a>
        </li>

    
        <li>
          <a style="" class="" href="https://trustworthy.systems/projects/microkit">
            Trustworthy Systems Microkit project
          </a>
        </li>





    
        <h3>Repositories</h3>
    
        <li>
          <a class="" href="https://github.com/sel4/microkit">
            microkit
          </a>
        </li>

    
        <li>
          <a class="" href="https://github.com/au-ts/microkit_tutorial">
            microkit_tutorial
          </a>
        </li>









  
      
          <h3>Releases</h3>
      
          <li>
            <a style="" href="/releases/microkit/1.4.1.html">
              1.4.1
            </a>
          </li>
  
      
          <li>
            <a style="" href="/releases/microkit/1.4.0.html">
              1.4.0
            </a>
          </li>
  
      
          <li>
            <a style=" font-weight: bold; " href="/releases/microkit/1.3.0.html">
              1.3.0
            </a>
          </li>
  



<h3>SDK downloads</h3>
  
    <h4>1.4.1</h4>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-linux-x86-64.tar.gz">
              microkit-sdk-1.4.1-linux-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-x86-64.tar.gz">
              microkit-sdk-1.4.1-macos-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-aarch64.tar.gz">
              microkit-sdk-1.4.1-macos-aarch64.tar.gz
            </a>
      </li>
    
  
    <h4>1.4.0</h4>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-linux-x86-64.tar.gz">
              microkit-sdk-1.4.0-linux-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-macos-x86-64.tar.gz">
              microkit-sdk-1.4.0-macos-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-macos-aarch64.tar.gz">
              microkit-sdk-1.4.0-macos-aarch64.tar.gz
            </a>
      </li>
    
  
    <h4>1.3.0</h4>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-linux-x86-64.tar.gz">
              microkit-sdk-1.3.0-linux-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-macos-x86-64.tar.gz">
              microkit-sdk-1.3.0-macos-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-macos-aarch64.tar.gz">
              microkit-sdk-1.3.0-macos-aarch64.tar.gz
            </a>
      </li>
    
  





    </ul>

</div>


</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/content_collections/_releases/microkit/1.3.0.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/content_collections/_releases/microkit/1.3.0.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
